#include<stdio.h>
int main(){
	double PAI;
	PAI=3.1415;
	printf("PAI=%f\n",PAI);
	return 0;
}
